First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
781	THE ACQUISTION OF FIRST ORDER CP AND DP RECURSION * Julianne Doner University of Toronto Add to Reading List Source URL: homes.chass.utoronto.ca Language: English - Date: 2014-03-07 16:23:53 Programming idioms Software engineering Recursion Theory of computation Mathematical logic Universal grammar Mean length of utterance Computer programming Computability theory Computing
782	Learning and Verifying Quantified Boolean Queries by Example Azza Abouzied∗ , Dana Angluin∗ , Christos Papadimitriou∗∗ , Joseph M. Hellerstein∗∗ , Avi Silberschatz∗ ∗ Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2013-08-06 23:17:37 Logic Database theory Computational complexity theory Descriptive complexity Finite model theory SO Relation Boolean algebra First-order logic Theoretical computer science Mathematical logic Relational model
783	Sylabus Critical thinking[removed] Add to Reading List Source URL: www.umanitoba.ca Language: English - Date: 2014-11-18 14:33:45 Critical thinking Classical logic Traditional logic Fallacy First-order logic Term logic Argument Informal fallacy Propositional calculus Logic Mathematical logic Philosophical logic
784	Generalizing Conjunctive Queries for Informative Answers Katsumi Inoue and Lena Wiese? National Institute of Informatics[removed]Hitotsubashi, Chiyoda-ku, Tokyo[removed], Japan {ki\|wiese}@nii.ac.jp Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2011-12-16 02:42:21 Model theory Predicate logic Generalization Conjunctive query Structure First-order logic Function Interpretation FO Mathematical logic Logic Mathematics
785	Robust RegBayes: Selectively Incorporating First-Order Logic Domain Knowledge into Bayesian Models Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-02-16 19:30:21 Bayesian probability Latent Dirichlet allocation Variational Bayesian methods Bayesian inference Entailment Inference Topic model Principle of maximum entropy Statistics Logic Bayesian statistics
786	Tech Digest Figure Template_2 column_01-06-12 Add to Reading List Source URL: techdigest.jhuapl.edu Language: English - Date: 2013-09-26 17:14:49 Concurrency control Predicate logic Programming paradigms Transaction processing Linearizability Logic programming First-order logic Parallel computing Extensible Storage Engine Logic Mathematical logic Mathematics
787	Crowd-scale Interactive Formal Reasoning and Analytics Ethan Fast1 , Colleen Lee1 , Alex Aiken1 , Michael S. Bernstein1 , Daphne Koller1 , Eric Smith2 Stanford University1 , Kestrel Institute2 {ethan.fast, clee0, aiken, Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2013-08-19 09:51:46 Proof theory Automated theorem proving Mathematical logic Theorem Formal proof First-order logic LL parser Parsing Syntax Logic Logical syntax Formal languages
788	Uncertain<T>: A First-Order Type for Uncertain Data Add to Reading List Source URL: src.acm.org Language: English - Date: 2014-04-23 10:43:39 Statistical inference Machine learning Bayesian network Bayesian inference Confidence interval Uncertain data Graphical model Probabilistic logic Statistics Bayesian statistics Statistical models
789	Modal Logic (G4424) Achille C. Varzi Fall 2006 • T 2:10pm–4:00pm • 511 Hamilton Hall Office Hours T 4:30pm–6:30pm • 702 Philosophy Hall • tel[removed] • email: av72 • url: ~av72 Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-08-05 11:21:13 Modal logic Model theory Non-classical logic Classical logic Interpretation Mereology First-order logic Deontic logic Epistemic modal logic Logic Mathematical logic Predicate logic
790	Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints Lena Wiese National Institute of Informatics[removed]Hitotsubashi, Chiyoda-ku, Tokyo[removed], Japan [removed] Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2010-12-14 02:40:39 Mathematical logic Database constraints Logic Model theory Relational model Functional dependency First-order logic Function Relational database Data management Database theory Data modeling

UPDATE